Nuprl Definition : final-iterate
11,40
postcript
pdf
final-iterate(
f
;
x
) == if can-apply(
f
;
x
) then final-iterate(
f
; do-apply(
f
;
x
)) else
x
fi
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
f
(
a
)
FDL editor aliases
final-iterate
origin
x.A(x)x.A(x)